161. Computer aided proofs in analysis
پدیدآورنده: Kenneth R. Meyer, Dieter S. Schmidt, editors
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Data processing -- Congresses ، Numerical analysis
رده :
QA
297
.
C638
1991
162. Computer aided proofs in analysis
پدیدآورنده: Kenneth R.Meyer,Dieter S.Schmidt editors
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع: Numerical analysis-data processing-congresses
رده :
QA
297
.
C638
163. Computer aided proofs in analysis
پدیدآورنده : Kenneth R. Meyer S. Schmidt, Editors
موضوع : ، Numerical analysis-Data processing-Congresses
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
164. Computer aided proofs in analysis
پدیدآورنده: Kenneth R. Meyer, Dieter S. Schmidt, editors
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Data processing - Congresses ، Numerical analysis
رده :
QA
1
.
I52
v
.
28
165. Computer algebra in scientific computing :
پدیدآورنده: Victor G. Ganzha, Ernst W. Matr, Evgenii V. Vorozhtsov (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algebra -- Data processing -- Congresses.,Algebra -- Data processing.,Science -- Data processing -- Congresses.
166. Computer arithmetic and self-validating numerical methods
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Computer arithmetic-- Congresses,، Numerical analysis-- Congresses
رده :
QA
76
.
9
.
C62
.
C663
1990
167. Computer assisted radiology :
پدیدآورنده: edited by/Herausgegeben von H.U. Lemke [and others] ; organizer/Organisator, H.U. Lemke.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Diagnostic imaging -- Data processing -- Congresses.,Diagnostic imaging -- Digital techniques -- Congresses.,Radiology Information Systems.
168. Computer engineering and technology :
پدیدآورنده: Weixia Xu, Liquan Xiao, Jinwen Li, Zhenzhen Zhu (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer engineering, Congresses.,Information technology, Congresses.,Computer engineering.,Information technology.
رده :
TK7885
.
A1
169. Computer oriented analysis of shell structures: proceedings
پدیدآورنده: edited by Richard F. Hartung
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: SHELLS )ENGINEERING(-CONGRESSES , NUMERICAL ANALYSIS-CONGRESSES , ELECTRONIC DATA PROCESSING-
رده :
TA
660
.
S5
C66
1970
170. Computing developments in experimental and numerical stress analysis
پدیدآورنده: edited by P. Stanley
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Stains and stresses - Data processing - Congresses
رده :
TA
647
.
I57
1976
171. Computing developments in experimental and numerical stress analysis /
پدیدآورنده: edited by P. Stanley
کتابخانه: كتابخانه مركزی دانشكده نفت اهواز (خوزستان)
موضوع: Strains and stresses- Data processing- Congresses
رده :
TA
,
647
,.
I57
,
1976
172. Computing in civil engineering :
پدیدآورنده: sponsored by Technical Council on Computing and Information Technology of the American Society of Civil Engineers ; edited by Ioannis Brilakis, Ph.D., SangHyun Lee, Ph.D., Burcin Becerik-Gerber, DDes
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Civil engineering-- Data processing, Congresses,Computer-aided engineering, Congresses
رده :
TA345
.
A833
2013
173. Computing methods in applied science and engineering. International symposium, Versailles, December 17-21, 1973
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Mathematical analysis-- Congresses,، Numerical analysis-- Congresses,، Engineering mathematics-- Congresses
رده :
QA
300
.
C63
174. Computing methods in applied science and engineering . International symposium, Versialles , dec , 17-21,1973
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع: ، Mathematical analysis - Congresses,، Numerical analysis - Congresses,، Englineering Mathamtics - Congresses
رده :
QA
300
.
C63
175. Computing methods in applied science and engineering, VII
پدیدآورنده: / Edited by R. Glowinski, J. L. Lions
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: Numerical analysis -- Data Processing -- Congresses,Parallel Processing (Electronic Computes) -- congresses,Engineering -- Data processing -- congresses
رده :
QA
297
.
I57
1985
176. Computing methods in applied science and engineering, VII
پدیدآورنده: / Edited by R. Glowinski, J. L. Lions
کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)
موضوع: Numerical analysis -- Data Processing -- Congresses,Parallel Processing (Electronic Computes) -- congresses,Engineering -- Data processing -- congresses
رده :
QA
297
.
I57
1985
177. Computing methods in applied sciences and engineering, 1977, I
پدیدآورنده: Third International Symposium, December 5-9, 7791 ; ]organized by[ IRIA LABORIA, Institut de recherche d'informatique et d'automatique ; edited by R. Glowinski and J.L. Lions
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: Data processing -- Congresses ، Numerical analysis,Congresses ، Science -- Data processing,Congresses ، Engineering -- Data processing
رده :
QA
297
.
I5
1977
178. Computing with foresight and industry :
پدیدآورنده: Florin Manea, Barnaby Martin, Daniel Paulusma, Giuseppe Primiero, (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computable functions, Congresses.,Computer science-- Mathematics, Congresses.,Computable functions.,Computer science-- Mathematics.
رده :
QA9
.
59
.
C67
2019
179. Conceptual and Numerical Analysis of Data :
پدیدآورنده: edited by Otto Optiz.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Content analysis (Communication) -- Congresses.,Mathematical statistics -- Congresses.,Statistics.
180. Conceptual and numerical analysis of data: proceedings of the 1th Conference of the Gesellschaft fur Klassifikation e. V. University of Augsburg, April 10-12, 1989
پدیدآورنده: Otto Opitz, editor in cooperation with the chairmen W. Gaul, H. Schnelling, P.O. Degens
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Congresses ، Mathematical statistics,Content analysis )Communication( - Congresses
رده :
QA
276
.
A1
G47
1989
